Library PCC(FD) documentation
نویسندگان
چکیده
This documentation describes the PCC(FD) library v.0. that can be downloaded from http://www.irisa.fr/lande/petit/index.en.html. The library has been built upon SICStus 3.11.0 [2].
منابع مشابه
The PsaD Subunit of Photosystem I ' Mutations in the Basic Domain Reduce the Leve 1 of PsaD in the Membranes
Fd. PsaD and PsaE facilitate Fd docking, and PsaE may be The PsaD subunit of photosystem I (PSI) i s a peripheral protein involved in cyclic electron flow "nd PSI (Chimis, 1996). that provides a docking site for ferredoxin and interacts with the PsaD is a crucial component on the reducing side of PSI. PsaB, PsaC, and PsaL subunits of PSI. We used site-directed muThe insertional inactivation of ...
متن کاملThe Ciao clp(FD) Library. A Modular CLP Extension for Prolog
We present a new free library for Constraint Logic Programming over Finite Domains, included with the Ciao Prolog system. The library is entirely written in Prolog, leveraging on Ciao's module system and code transformation capabilities in order to achieve a highly modular design without compromising performance. We describe the interface, implementation, and design rationale of each modular co...
متن کاملar X iv : 1 30 1 . 77 02 v 1 [ cs . P L ] 3 1 Ja n 20 13 The Ciao CLP ( FD ) Library A Modular CLP Extension for Prolog ( System
We present a new free library for Constraint Logic Programming over Finite Domains, included with the Ciao Prolog system. The library is entirely written in Prolog, leveraging on Ciao’s module system and code transformation capabilities in order to achieve a highly modular design without compromising performance. We describe the interface, implementation, and design rationale of each modular co...
متن کاملConstruction of a human recombinant polyclonal Fab fragment antibody library using peripheral blood lymphocytes of snake bitten victims
Human snake bitten poisoning is a serious threat in many tropical and subtropical countries such as Iran. The best acceptable treatment of envenomated humans is antivenoms; however they have a series of economic and medical problems and need more improvements. In this study a combinatorial human immunoglobulin gene library against some of Iranian snakes venoms was constructed. Total RNA prepare...
متن کاملBuilding Certified Libraries for PCC: Dynamic Storage Allocation
Proof-Carrying Code (PCC) allows a code producer to provide to a host a program along with its formal safety proof. The proof attests a certain safety policy enforced by the code, and can be mechanically checked by the host. While this language-based approach to code certification is very general in principle, existing PCC systems have only focused on programs whose safety proofs can be automat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006